Section: Software

IBEX

Participants : Gilles Chabert [correspondant] , Rémi Douence.

IBEX (Interval-Based EXplorer) is a C++ library for solving nonlinear constraints over real numbers (25000 lines of source code). The main feature of Ibex is its ability to build solver/paver strategies declaratively through the contractor programming paradigm. Ibex includes a parser of the QUIMPER language (QUick Interval Modeling and Programming in a bounded-ERror context) and is currently used in several academic research labs.

G. Chabert and R. Douence (ASCOLA ) have contributed in 2011 to the ongoing redesign of the architecture IBEX , the goal being to make it more flexible to cope with specific problems, and more easy to use. The link to the system and documentation is http://www.emn.fr/z-info/ibex/ .